\frame[containsverbatim]
{
  \frametitle{Modify messages.xml}
  \B
  \item Add BugPattern element:
{\scriptsize
\begin{verbatim}
<BugPattern type="ISYNC_INCONSISTENT_SYNC">
  <ShortDescription>Inconsistent synchronization of field
     </ShortDescription>
  <LongDescription>Inconsistent synchronization of field {1}
     </LongDescription>
  <Details>
    <![CDATA[
      <p>Both synchronized and unsynchronized accesses were
         observed for this field.</p>
    ]]>
  </Details>
</BugPattern>
\end{verbatim}
}
  \item Add BugCode element
{\scriptsize
\begin{verbatim}
<BugCode abbrev="ISYNC">Inconsistent synchronization</BugCode>
\end{verbatim}
}
  \E
}
